

#      >>> import distutils.sysconfig
#      >>> distutils.sysconfig.get_config_var('LINKFORSHARED') 

rm *_wrap.cxx *.o *.so -f
swig -python -c++ minisat.i
g++ -c *.C *.cxx -I/System/Library/Frameworks/Python.framework/Versions/2.5/include/python2.5
g++ -Xlinker *.o -o _minisat.so


